. C O ] 1 2 Ju l 2 00 5 AUTOMATIC ENUMERATION OF REGULAR OBJECTS

0 10 70 26 v 1 2 6 Ju l 2 00 1 Combinatorial identities for binary necklaces from exact ray - splitting trace formulae

Based on an exact trace formula for a one-dimensional ray-splitting system, we derive novel combinatorial identities for cyclic binary sequences (Pólya necklaces).

v 1 1 8 Ju l 2 00 5 DOC - 2004 - Jan - 152 A Study of Spin - dependent Interactions with Antiprotons The Structure of The Nucleon ASSIA

ar X iv : c s . L O / 0 20 70 86 v 1 2 5 Ju l 2 00 2 A Model - Theoretic Semantics for Defeasible Logic ⋆

Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics.

ar X iv : c s / 05 11 02 3 v 2 [ cs . L O ] 5 N ov 2 00 5 Verifying nondeterministic probabilistic channel systems against ω - regular linear - time properties

Herbicide Interchange between a Stream and the Adjacent Alluvial Aquifer.

published in Aduance ACS Abstracts, October 1,1994. 2344 Environ. Scl. Technol., Vol. 28, No. 13, 1994 D ow nl oa de d by U N IV O F N E B R A SK A L IN C O L N o n Ju ly 1 0, 2 00 9